Inversion de la transformation de Pompeiu locale

Inversion numérique de la transformation de Laplace-Carson

De la transformation de prédicats à la transformation de programmes

Les transformateurs de prédicats ont été introduits par Dijkstra et ont permis de fonder la théorie des preuves de programmes et la théorie de l’affinement des systèmes d’actions. Ce texte analyse le lien existant entre les transformateurs de prédicats et les systèmes d’actions affinés. Les hypothèses d’équité sont prises en compte et une uniformisation de la présentation permet de démontrer le...

Description de Hyalomma dromedarii (Koch 1844) Morphologie de la larve et de la nymphe

Etude sur la digestion pancratique de la caseine pour la production de la toxine tetanique

Les rongeurs de la region de Tehran